This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...